implicit system

隐式系统